Reactive Imperative Programming with Dataflow Constraints
نویسندگان
چکیده
منابع مشابه
Integrating Constraints into an Imperative Programming Language
We investigate here how to integrate constraints directly into the imperative programming paradigm, as \\rst class citizens" and not by means of an external library. To this end we provide a systematic account of the issues that arise. In particular, we discuss the role of the logical and customary variables, the interaction between the constraint store and the program, and the need for lists. ...
متن کاملFully fuzzy linear programming with inequality constraints
Fuzzy linear programming problem occur in many elds such as mathematical modeling, Control theory and Management sciences, etc. In this paper we focus on a kind of Linear Programming with fuzzy numbers and variables namely Fully Fuzzy Linear Programming (FFLP) problem, in which the constraints are in inequality forms. Then a new method is proposed to ne the fuzzy solution for solving (FFLP). Nu...
متن کاملImperative Programming with Dependent Types
In this paper, we enrich imperative programming with a form of dependent types. We start with explaining some motivations for this enrichment and mentioning some major obstacles that need to be overcome. We then present the design of a source level dependently typed imperative programming language Xanadu, forming both static and dynamic semantics and then establishing the type soundness theorem...
متن کاملReactive Single-Page Applications with Dynamic Dataflow
Modern web applications are heavily dynamic. Several approaches, including functional reactive programming and data binding, allow a presentation layer to automatically reflect changes in a data layer. However, many of these techniques are prone to unpredictable memory performance, do not make guarantees about node identity, or cannot easily express dynamism in the dataflow graph. We identify a...
متن کاملFUZZY LINEAR PROGRAMMING WITH GRADES OF SATISFACTION IN CONSTRAINTS
We present a new model and a new approach for solving fuzzylinear programming (FLP) problems with various utilities for the satisfactionof the fuzzy constraints. The model, constructed as a multi-objective linearprogramming problem, provides flexibility for the decision maker (DM), andallows for the assignment of distinct weights to the constraints and the objectivefunction. The desired solutio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2015
ISSN: 0164-0925,1558-4593
DOI: 10.1145/2623200